On Modeling, Mathematics, Category Theory and RM-ODP
نویسنده
چکیده
RM-ODP is about modeling, and mathematics is one of the oldest, and deserved, modeling disciplines. Experience accumulated in mathematics in general, and some of machineries developed, may well turn out to be relevant for arranging/organizing/ formalizing the concepts managed in RM-ODP. Especially promising here is mathematical category theory that is nothing but a discipline and framework for structure engineering considered in an abstract and precise way.
منابع مشابه
Consistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-ODP specifications. This tool is a category theory based consistency checker for formal specifications in a variety of languages, including both graphical and non-graphical modeling languages. Because RM-ODP suppo...
متن کاملA Formal Foundation of the RM-ODP Conceptual Framework
This paper presents an approach for formalizing the Reference Model for Open Distributed Processing (RM-ODP), an ISO and ITU standard for the modeling of distributed system. The goals of this formalization are to clarify the RM-ODP modeling framework thus making it more accessible to modelers such as system architects, designers and implementers and to open the way for the formal verification o...
متن کاملProposal for a formal foundation of RM-ODP concepts
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify the RM-ODP modeling framework to make it more accessible to modelers such as system architects, designers and implementers, while opening the way for the formal verification of RM-ODP models, either within an ODP view...
متن کاملConceptual Modeling of Complex Systems Using an RM-ODP Based Ontology
The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequate modeling abstractions is one of the important causes for these difficulties. This paper proposes an ontology that defines the concepts ne...
متن کاملAn integrated distributed processing approach for e-commerce system design and development
This paper proposes an integrated approach for e-commerce business modeling and system design, based on the Reference Model of the Open Distributed Processing (RM/ODP) standard. Initially, the main concerns of e-commerce with respect to business modeling are presented; next, the requirements induced by this modeling and the generic e-commerce system interfaces are discussed. Then, the adoption ...
متن کامل